"Pierre-Louis Curien" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)

Автор: David H. Pitt, Автор: Pierre-Louis Curien, Автор: Samson Abramsky, Автор: Andrew M. Pitts, Автор: Axel Poigne, Автор: David E. Rydeheard

Категория: Компьютеры

Размер книги: 17.48 Mb

Domains and Lambda-calculi

Автор: Roberto M. Amadio, Автор: Pierre-Louis Curien

Категория: Computer science

Размер книги: 3.73 Mb

Category Theory and Computer Science, 4 conf

Автор: David H. Pitt, Автор: Pierre-Louis Curien, Автор: Samson Abramsky, Автор: Andrew M. Pitts, Автор: Axel Poigne, Автор: David E. Rydeheard

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 2.68 Mb

Typed Lambda Calculi and Applications: 9 conf., TLCA 2009

Автор: Pierre-Louis Curien

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 5.37 Mb